relation of equivalence

等价关系